window: restore size after hide/show properly
authorBenjamin Otte <otte@redhat.com>
Mon, 8 Apr 2013 14:25:29 +0000 (16:25 +0200)
committerBenjamin Otte <otte@redhat.com>
Mon, 8 Apr 2013 14:34:19 +0000 (16:34 +0200)
commit21f11eb0e6bcdeb39cf9de184387008d7d9e8286
tree0479dace9f7669674a8ee5cfbe4215b652a0d41a
parentb662e96e7e8ec83ee64ace74dd4d834a2a2c177d
window: restore size after hide/show properly

Old code assumed the size was stored in widget.allocation. This is no
longer true as the allocation is cleared upon hide. However, we store
the last configure request, and that one tracks the last size, so we can
just use that number.

Sometimes things are so easy - once you figure them out...

https://bugzilla.gnome.org/show_bug.cgi?id=696882
gtk/gtkwindow.c